#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"

#include <string>
using namespace std;

class LecteurPhraseAvecArbre
{
    public:
        LecteurPhraseAvecArbre(string nomFich);    // Construit un lecteur de phrase pour interpreter
        //  le programme dans le fichier nomFich

        void analyse();  // Si le contenu du fichier est conforme à la grammaire,
        //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
        //   la table des symboles (ts) et l'arbre abstrait (arbre) auront été construits
        // Sinon, le programme sera interrompu (exit).

        inline TableSymboles getTs()
        {
            return this->m_ts;       // accesseur
        }
        inline Noeud*        getArbre()
        {
            return this->m_arbre;    // accesseur
        }


    private:
        LecteurSymbole m_ls;    // le lecteur de symboles utilisé pour analyser le fichier
        TableSymboles  m_ts;    // la table des symboles valués
        Noeud*         m_arbre; // l'arbre abstrait

        // implémentation de la grammaire
        Noeud*  programme();   //   <programme> ::= debut <seqInst> fin FIN_FICHIER
        Noeud*  seqInst();     //     <seqInst> ::= <inst> ; { <inst> ; }
        Noeud*  inst();        //        <inst> ::= <affectation>
        Noeud*  affectation(); // <affectation> ::= <variable> = <expression>
        Noeud*  expression();  //  <expression> ::= <facteur> { <opBinaire> <facteur> }
        Noeud*  facteur();     //     <facteur> ::= <entier>  |  <variable>  |  - <facteur>  |  ( <expression> )
        Noeud* instSi();      // <instSi> ::= si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> } [ sinon <seqInst> ] fins
        Noeud* instTq();      // <instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
        Noeud* instRepeter(); // <instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
        Symbole opAdd();       // <opAdd>  ::= + | -
        Symbole opMult();      // <opMult>  ::= *  | /
        Noeud* terme();       // <expression> ::= <facteur> { <opMult> <facteur> }
        Noeud* expBool();     // <expBool> ::= <relation> {  <opBool> <relation> } { <opBool> <relation> { <opBool> <relation> } } // factorisable
        Noeud* expEt();       // <expEt> ::= <relation> { <opBool> <relation> }
        Noeud* relation();    // <relation> ::= <expression> { <opRel> <expression> }
        Symbole opBool();      // <opBool> ::=  et | ou
        Symbole opRel();       // <opRel>  ::= <  | <= | > | >= | == | !=
        Symbole opUnaire();    // <opUnaire> ::=  - | non
        Noeud* instLire();    // <instLire> ::= lire ( <variable> )
        Noeud* instEcrire();  // <instEcrire> ::= ecrire ( <expression> | <chaine> )
        Noeud* instPour();  // <instPour> ::= pour (<affecation>; <expBool>; <affectation>;)

        // outils pour se simplifier l'analyse syntaxique
        void testerSymCour(string ch);    // si symbole courant != ch, erreur : on arrete le programme, sinon rien
        void sauterSymCour(string ch);    // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
        void erreur(string mess);       // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECARBRE_H_ */
